p q == if p then tt else q fi  

latex

Definitions

if b then t else f fi , tt